#! /bin/bash

#
# Check Linux 5.2 AArch64 translation with 39-bit virtual addresses
# using data from VMCOREINFO.
#

opts=(
    arch=aarch64
    ostype=linux
    osver=0x050200
    page_shift=12
)

. "$srcdir"/xlat-os-common
